Specification Coverage for Testing in Circus
Identifieur interne : 000137 ( Main/Exploration ); précédent : 000136; suivant : 000138Specification Coverage for Testing in Circus
Auteurs : Ana Cavalcanti [Royaume-Uni] ; Marie-Claude Gaudel [France]Source :
- Lecture Notes in Computer Science [ 0302-9743 ] ; 2010.
Abstract
Abstract: The Unifying Theories of Programming underpins the development of Circus , a state-rich process algebra for refinement. We have previously presented a theory of testing for Circus ; it gives a symbolic characterisation of tests. Each symbolic test specifies constraints that capture the effect of the possibly nondeterministic state operations, and their interaction. This is a sound basis for testing techniques based on constraint solving for generation of concrete tests, but does not support well selection criteria based on the structure of the specification. We present here a labelled transition system that captures information about a Circus model and its structure. It is useful for testing techniques based on specification coverage. The soundness argument for the new transition system follows the UTP style, but relates the new transition relation to the Circus relational model and its operational semantics.
Url:
DOI: 10.1007/978-3-642-16690-7_1
Affiliations:
Links toward previous steps (curation, corpus...)
Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Specification Coverage for Testing in Circus</title><author><name sortKey="Cavalcanti, Ana" sort="Cavalcanti, Ana" uniqKey="Cavalcanti A" first="Ana" last="Cavalcanti">Ana Cavalcanti</name></author><author><name sortKey="Gaudel, Marie Claude" sort="Gaudel, Marie Claude" uniqKey="Gaudel M" first="Marie-Claude" last="Gaudel">Marie-Claude Gaudel</name></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:206B9490DC3C618867802A21D6FB5466F20990E4</idno><date when="2010" year="2010">2010</date><idno type="doi">10.1007/978-3-642-16690-7_1</idno><idno type="url">https://api.istex.fr/document/206B9490DC3C618867802A21D6FB5466F20990E4/fulltext/pdf</idno><idno type="wicri:Area/Main/Corpus">001369</idno><idno type="wicri:explorRef" wicri:stream="Main" wicri:step="Corpus" wicri:corpus="ISTEX">001369</idno><idno type="wicri:Area/Main/Curation">001369</idno><idno type="wicri:Area/Main/Exploration">000137</idno><idno type="wicri:explorRef" wicri:stream="Main" wicri:step="Exploration">000137</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Specification Coverage for Testing in Circus</title><author><name sortKey="Cavalcanti, Ana" sort="Cavalcanti, Ana" uniqKey="Cavalcanti A" first="Ana" last="Cavalcanti">Ana Cavalcanti</name><affiliation wicri:level="1"><country xml:lang="fr">Royaume-Uni</country><wicri:regionArea>Department of Computer Science, University of York, YO10 5DD, York</wicri:regionArea><wicri:noRegion>York</wicri:noRegion></affiliation></author><author><name sortKey="Gaudel, Marie Claude" sort="Gaudel, Marie Claude" uniqKey="Gaudel M" first="Marie-Claude" last="Gaudel">Marie-Claude Gaudel</name><affiliation wicri:level="1"><country xml:lang="fr">France</country><wicri:regionArea>LRI, Université de Paris-Sud</wicri:regionArea><wicri:noRegion>Université de Paris-Sud</wicri:noRegion><wicri:noRegion>Université de Paris-Sud</wicri:noRegion></affiliation><affiliation wicri:level="3"><country xml:lang="fr">France</country><wicri:regionArea>CNRS, 91405, Orsay</wicri:regionArea><placeName><region type="region" nuts="2">Île-de-France</region><settlement type="city">Orsay</settlement></placeName></affiliation></author></analytic><monogr></monogr><series><title level="s">Lecture Notes in Computer Science</title><imprint><date>2010</date></imprint><idno type="ISSN">0302-9743</idno><idno type="eISSN">1611-3349</idno><idno type="ISSN">0302-9743</idno></series><idno type="istex">206B9490DC3C618867802A21D6FB5466F20990E4</idno><idno type="DOI">10.1007/978-3-642-16690-7_1</idno><idno type="ChapterID">Chap1</idno><idno type="ChapterID">1</idno></biblStruct></sourceDesc><seriesStmt><idno type="ISSN">0302-9743</idno></seriesStmt></fileDesc><profileDesc><textClass></textClass><langUsage><language ident="en">en</language></langUsage></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">Abstract: The Unifying Theories of Programming underpins the development of Circus , a state-rich process algebra for refinement. We have previously presented a theory of testing for Circus ; it gives a symbolic characterisation of tests. Each symbolic test specifies constraints that capture the effect of the possibly nondeterministic state operations, and their interaction. This is a sound basis for testing techniques based on constraint solving for generation of concrete tests, but does not support well selection criteria based on the structure of the specification. We present here a labelled transition system that captures information about a Circus model and its structure. It is useful for testing techniques based on specification coverage. The soundness argument for the new transition system follows the UTP style, but relates the new transition relation to the Circus relational model and its operational semantics.</div></front></TEI><affiliations><list><country><li>France</li><li>Royaume-Uni</li></country><region><li>Île-de-France</li></region><settlement><li>Orsay</li></settlement></list><tree><country name="Royaume-Uni"><noRegion><name sortKey="Cavalcanti, Ana" sort="Cavalcanti, Ana" uniqKey="Cavalcanti A" first="Ana" last="Cavalcanti">Ana Cavalcanti</name></noRegion></country><country name="France"><noRegion><name sortKey="Gaudel, Marie Claude" sort="Gaudel, Marie Claude" uniqKey="Gaudel M" first="Marie-Claude" last="Gaudel">Marie-Claude Gaudel</name></noRegion><name sortKey="Gaudel, Marie Claude" sort="Gaudel, Marie Claude" uniqKey="Gaudel M" first="Marie-Claude" last="Gaudel">Marie-Claude Gaudel</name></country></tree></affiliations></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Wicri/explor/CircusV2/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000137 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 000137 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Wicri
|area= CircusV2
|flux= Main
|étape= Exploration
|type= RBID
|clé= ISTEX:206B9490DC3C618867802A21D6FB5466F20990E4
|texte= Specification Coverage for Testing in Circus
}}
| This area was generated with Dilib version V0.6.31. |  |